Research Summary
نویسنده
چکیده
My research focuses on easing the task of developing reliable and efficient programs via program analysis. The aim is to create powerful tools for manipulating programs and analyzing their properties that will help programmers develop correct, reliable, efficient, and secure software. The tools are based on understanding the meaning of the underlying programming language as well as some desired specified properties.
منابع مشابه
THE IMPACT OF TEACHING SUMMARIZING ON EFL LEARNERS’ MICROGENETIC DEVELOPMENT OF SUMMARY WRITING
Summary writing is associated with lots of cognitive and metacognitive complexities that necessitates instruction (Hirvela & Du, 2013). Contrary to majority of studies carried out on summarization instruction, the present study addressed the underlying processes or microgenetic developments of the Iranian EFL learners’ summary writing. To this end, 41 male and female undergraduate students rece...
متن کاملThe Impact of Summary Writing with Structure Guidelines on EFL College Students’ Rhetorical Organization: Integrating Genre-Based and Process Approaches
This study aimed at investigating the impact of writing on Iranian EFL college students’ rhetorical organization. Thirty Iranian female undergraduate students majoring in English at Al-zahra University participated in the current study. The writing instructions included two stages, each lasting for four weeks. The participants were assigned to a control group and an experimental group according...
متن کاملThe Effect of Summary Training on Intermediate EFL Learners’ Reading Comprehension in Individual and Collaborative Conditions
Inspired by Vygotsky’s Sociocultural Theory (SCT), the current study intended to investigate the effect of summary training (i.e., oral and written) on intermediate EFL learners’ reading comprehension in different conditions (i.e., individual and collaborative). Data collection tools and procedures encompassed PET test, First Certificate in English (FCE) reading pre-test, and post-test. First, ...
متن کامل